Lambda calculus

Results: 1452



#Item
221Logic programming / Constraint programming / Logical consequence / Statements / Theorem / Unification / Lambda calculus / Constraint logic programming / Constraint satisfaction

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-02-21 13:20:56
222Logic / Mathematical logic / Mathematics / Model theory / Formal languages / Predicate logic / Metalogic / First-order logic / Principia Mathematica / Interpretation / Well-formed formula / Lambda calculus

Paul Oppenheimer and Edward N. Zalta Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer

Add to Reading List

Source URL: www.peoppenheimer.org

Language: English - Date: 2011-02-19 16:18:52
223Software engineering / Computing / Computer programming / Subroutines / Lambda calculus / Data types / Type theory / Functional programming / Closure / Scope / Free variables and bound variables / Lambda lifting

Optimizing Closures in O(0) time Andrew W. Keep Alex Hearn R. Kent Dybvig

Add to Reading List

Source URL: users-cs.au.dk

Language: English - Date: 2012-09-08 07:07:18
224Logic / Mathematical logic / Mathematics / Model theory / Logic in computer science / Lambda calculus / Models of computation / Type theory / Combinatory logic / Theorem / Structure / Interpretation

Automated reasoning under the theory H∗ (thesis abstract) Fritz Obermeyer February 23, 2009 In this thesis I study four extensions of untyped λ-calculi all under the maximally coarse semantics of

Add to Reading List

Source URL: fritzo.org

Language: English - Date: 2014-11-27 11:35:14
225

M. H. Newman’s Typability Algorithm for Lambda-Calculus J. Roger Hindley ∗

Add to Reading List

Source URL: www.users.waitrose.com

Language: English - Date: 2012-07-25 04:46:11
    226

    CMSC 336: Type Systems for Programming Languages Lecture 4: Programming in the Lambda Calculus Acar & Ahmed 22 January 2008

    Add to Reading List

    Source URL: ttic.uchicago.edu

    Language: English - Date: 2008-01-22 13:49:55
      227Software engineering / Computer programming / Computing / Lambda calculus / Functional programming / Programming languages / Data types / Control flow / Eval / Bayesian network / Scheme / Lisp

      Church: a language for generative models Noah D. Goodman, Vikash K. Mansinghka∗, Daniel M. Roy, Keith Bonawitz & Joshua B. Tenenbaum MIT BCS/CSAIL Cambridge, MA 02139

      Add to Reading List

      Source URL: stanford.edu

      Language: English - Date: 2010-06-23 13:20:14
      228Type theory / Lambda calculus / Type systems / Models of computation / Program analysis / Simply typed lambda calculus / Gradual typing / Monad / System F

      The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Matteo Cimini Jeremy G. Siek

      Add to Reading List

      Source URL: dl.dropboxusercontent.com

      Language: English
      229

      ERRATA in “Lambda-calculus and Combinators in the 20th Century” F. Cardone, J. Roger Hindley, Chapter 13 (pp. 723–817) in

      Add to Reading List

      Source URL: www.users.waitrose.com

      Language: English - Date: 2015-03-05 12:58:38
        230Logic in computer science / Lambda calculus / Models of computation / Combinatory logic / First-order logic / Substitution / Symbol / Natural deduction

        The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale University

        Add to Reading List

        Source URL: www.itu.dk

        Language: English - Date: 2004-11-03 09:40:39
        UPDATE